<?php
/**
 * This should not be recognized as a file comment, but as a class comment.
 */

readonly class Foo {
}
